T C C

نویسنده

  • Vasco T. Vasconcelos
چکیده

We discuss session types independently of any programming language. We then embody the notion in languages from three different paradigms: the pi calculus, a functional language, and an object-oriented language.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Amitraz Poisoning; A case study

A m i t r a z, a n i ns e c t i c i d e /a ca ri c i de of the f o r m a m i d i n e p e st i c i d e s group, is a ? 2 a d r e n e r g i c ag on i st a nd of t he a m i d i ne c h e m i ca l f a m il y generally us e d to c o n t r ol animal e c top a r a s i t e s. Poisoning due to am i t r a z i s r a r e and character...

متن کامل

Cytokines Genes Polymorphisms in Iranian Patients with Pulmonary Tuberculosis

Background: Pulmonary tuberculosis (PTB) has recently become a major problem in developed countries especially in immune compromised HIV infected individuals. Cytokines, their genes and receptors have been implicated in the protective immunity, pathophysiology and development of tuberculosis.   Material & Methods: In the present study the genotype frequencies of a number of polymorphic genes co...

متن کامل

On a functional equation for symmetric linear operators on $C^{*}$ algebras

‎Let $A$ be a $C^{*}$ algebra‎, ‎$T‎: ‎Arightarrow A$ be a linear map which satisfies the functional equation $T(x)T(y)=T^{2}(xy),;;T(x^{*})=T(x)^{*} $‎. ‎We prove that under each of the following conditions‎, ‎$T$ must be the trivial map $T(x)=lambda x$ for some $lambda in mathbb{R}$: ‎‎ ‎i) $A$ is a simple $C^{*}$-algebra‎. ‎ii) $A$ is unital with trivial center and has a faithful trace such ...

متن کامل

Isomorphisms in unital $C^*$-algebras

It is shown that every  almost linear bijection $h : Arightarrow B$ of a unital $C^*$-algebra $A$ onto a unital$C^*$-algebra $B$ is a $C^*$-algebra isomorphism when $h(3^n u y) = h(3^n u) h(y)$ for allunitaries  $u in A$, all $y in A$, and all $nin mathbb Z$, andthat almost linear continuous bijection $h : A rightarrow B$ of aunital $C^*$-algebra $A$ of real rank zero onto a unital$C^*$-algebra...

متن کامل

Identification of cyathostomes in equines in Iran

Attempts were made to present a practical key for identification of small strongyles, the identification ofwhich seems to be a difficult task to do. 4000 nematodes collected from the large intestine of horses anddonkeys were examined. 18 species of small strongyles of horse and 15 of donkey were found. From 6species of large strongyles found in both animals, we only dealt with 3 of Triodontopho...

متن کامل

شناسایی چندشکلی تک نوکلئوتیدی در ژن گیرندة ملانوکورتین-1 (MC1R) در گوسفند لری بختیاری

گیرندة ملانوکورتین-1 که توسط جایگاه گسترش کد می‌شود، نقش مهمی در تنوع رنگ پوشش در دام‌های اهلی بازی می‌کند. در این بررسی، قطعه‌ای به طول840 جفت باز از ناحیة 5َ کناری و قسمت اعظم توالی کدکنندة ژن MC1R گوسفندی در پانزده رأس گوسفند لری بختیاری با فنوتیپ متفاوت تعیین توالی شد. نتایج تعیین توالی شمار هشت چندشکلی تک نوکلئوتیدی را نشان داد که شامل پنج جهش هم‌معنی (c.464G.A, c.557G>C, c.635c>T, c.692C>T...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011